Gradually typed DSLs with Deferrable constraints in Haskell … through the tale of a Haskell information flow control library Pablo Buiras, Alejandro Russo, Dimitrios Vytiniotis

Source URL: www.cs.ox.ac.uk

KNEIP, CHLI, SIEGWART: ROBUST REAL-TIME VISUAL ODOMETRY 1 Robust Real-Time Visual Odometry with a Single Camera and an IMU

Source URL: www.margaritachli.com

• Robotic sensing
• Computer vision
• Robot control
• Surveying
• Visual odometry
• Feature detection
• RANSAC
• Simultaneous localization and mapping
• Pose
• Optical flow
• Orientation
• Structure from motion

Configuration API for Apache HTTP Server William A. Rowe Jr. Configuration

Source URL: events.linuxfoundation.org

• Control flow
• Entry point
• Hooking

JDK 8: Stream Style Сергей Куксенко , @kuksenk0 The following is intended to outline our general

Source URL: 2013.jokerconf.com

• Software engineering
• Computer programming
• Control flow
• Foreach loop
• Programming language theory

Preview Evaluation https://ecommons.ucsc.edu/direct/eval-template/3569 Preview Evaluation

Source URL: www.ue.ucsc.edu

• Control flow
• Eval

Active Interest Management for Improving Flow Completion Time in Named-Data Networking Sugi Lee, Yusung Kim Younghoon Kim

Source URL: conferences2.sigcomm.org

• Computer networking
• Computing
• Named data networking
• Packet loss
• Retransmission
• Transmission Control Protocol
• Traffic flow
• Communications protocol
• Computer network
• Hop
• Queuing delay
• Network packet

Discretionary Information Flow Control for Interaction-Oriented Specifications Alberto Lluch Lafuente, Flemming Nielson, and Hanne Riis Nielson DTU Compute, The Technical University of Denmark, Denmark Abstract. This pa

Source URL: dl.dropboxusercontent.com

Expeditus: Distributed Load Balancing with Global Congestion Information in Data Center Networks Peng Wang, Hong Xu Department of Computer Science, City University of Hong Kong ABSTRACT

Source URL: conferences2.sigcomm.org

• Computing
• Network architecture
• Computer architecture
• Ethernet
• Routing
• Computer networking
• Network topology
• Load balancing
• Network management
• Transmission Control Protocol
• Network switch
• Traffic flow

Control-Flow Bending: On the Effectiveness of Control-Flow Integrity Nicolas Carlini UC Berkeley Antonio Barresi

Source URL: www.cs.berkeley.edu

Information-flow control for programming on encrypted data∗ J.C. Mitchell, R. Sharma, D. Stefan and J. Zimmerman April 13, 2012 Abstract Using homomorphic encryption and secure multiparty computation, cloud servers may

Source URL: eprint.iacr.org